#include <linux/sched.h>
#include <linux/sched/rt.h>

/*
 * rt_mutex_setprio - set the current priority of a task
 * @p: task to boost
 * @pi_task: donor task
 *
 * This function changes the 'effective' priority of a task. It does
 * not touch ->normal_prio like __setscheduler().
 *
 * Used by the rt_mutex code to implement priority inheritance
 * logic. Call site only calls if the priority of the task changed.
 */
void rt_mutex_setprio(struct task_struct *p, struct task_struct *pi_task)
{
    sched_pi_setprio(p, pi_task);
}

void rt_mutex_schedule(void)
{
    schedule_none();
}

void rt_mutex_post_schedule(void)
{
}

void rt_mutex_pre_schedule(void)
{
}
